X is local
== f:i:Idxs:(Id List)  (k:Kndstate@i|xskindtype(i;k)(A + Top))
== (X = (e.((f(loc(e))).2)(kind(e),(state when e),val(e)))) 

latex

---

clarification:

es-interface-local{i:l}
es-interface-local(es; A; X)
== f:i:Idxs:(Id List)  (k:Kndes-partial-state(es;i;xs)es-kindtype(es;i;k)(A + Top))
== (X
== (=
== ((e.((f(es-loc(es; e))).2)(es-kind(es; e),es-state-when(es;e),es-val(es; e)))
== ( es-E(es)(A + Top)) 

latex

Definitions	x:A. B(x), x:A  B(x), type List, Id, Knd, state@i|xs, kindtype(i;k), s = t, x:AB(x), E, left + right, Top, x.A(x), t.2, f(a), loc(e), kind(e), (state when e), val(e)
FDL editor aliases	es-interface-local